type Foo = never
